| Idempotent law | A∪A=AA∩A=A |
| Commutative law | A∪B=B∪AA∩B=B∩A |
| Associative law | (A∪B)∪C=A∪(B∪C)(A∩B)∩C=A∩(B∩C) |
| Distributive law | A∪(B∩C)=(A∪B)∩(A∪C)A∩(B∪C)=(A∩B)∪(A∩C) |
| DeMorgan's law | (A∪B)c=Ac∩Bc(A∩B)c=Ac∪Bc |
| identity law | A∪∅=AA∩∅=∅A∪U=UA∩U=A |
| compliment law | A∪Ac=UA∩Ac=∅Uc=∅∅c=U |
| involution law | (Ac)c=A |